Inheritance Reasoning by Regu - lar Sets in Knowledge - base
نویسندگان
چکیده
In this paper, we propose an inheritance system for knowledgebases in which IS-A relation and IS-NOT-A relation are speci ed on the domain extended by dot notation `.'. Due to the simplicity of the framework, we can obtain several computational advantages including the following: (1) IS-A relation and IS-NOT-A relation are determined in polynomial time. (2) Satis ability of a given knowledge-base is also determined in polynomial time. (3) Set-at-a-time queries are completely answered by regular expressions. (4) Regular expressions are also used for speci cations of knowledge-bases. Consequently, we can achieve advanced reasoning by the computational operations on regular sets using union, intersection, and di erence. Furthermore, the obtained results can be incrementally reused to specify new knowledge-bases. Several applications of the proposed inheritance reasoning mechanism in advanced computer systems are also demonstrated.
منابع مشابه
Incremental Knowledge Acquisition for Non-Monotonic Reasoning
The use of conventional non-monotonic reasoning tools in real-sized knowledge-based applications is hindered by the fact that the knowledge acquisition phase cannot be accomplished in the incremental way that is instead typical of knowledge base management systems based on monotonic logics. As a result, some researchers have departed from orthodox non-monotonic formalisms and proposed languages...
متن کاملKnowledge acquisition mechanisms for a logical knowledge base including hypotheses
A hypothesis-based reasoning system handles a knowledge base including complete (fact) and incomplete (hypothesis) knowledge. The handling of the incomplete knowledge plays an important role in realizing advanced AI functions such as commonsense, flexible matching, learning, etc. From both theoretical and practical viewpoints, the hypothesis-based logical reasoning system can be considered to b...
متن کاملAn Approach to Building the Hierarchical Element of a Lexical Knowledge Base from a Machine Readable Dictionary. an Approach to Building the Hierarchical Element of a Lexical Knowledge Base from a Machine Readable Dictionary 1
This abstract describes an approach to extracting taxonomies from machine readable dictionaries and using them to structure a lexical knowledge base which incorporates default inheritance. Taxonomy construction is based on an intuitive notion of the organisation of the substantial quantities of data in machine readable dictionaries which were developed for quite independent purposes. Our intent...
متن کاملAn Expert System Using Nonmonotonic Techniques for Beneets Inquiry in the Insurance Industry
This paper describes BenInq, an expert system for beneets inquiry in the insurance industry. BenInq is designed to be used by both customer service representatives, who answer customers' questions in real time, and policy modiiers, who update insurance products. The main challenges were the design of the KR structure | in particular, representing a huge knowledge base at varying levels of granu...
متن کاملResearch on Information Retrieval Based on Semantic Similarity Related Technology
In this paper, an information retrieval method based on knowledge reasoning that tightly integrates description logic reasoning and traditional information retrieval technique is proposed. The method expresses the user's search intention by description logic to infer the user's search object. Further, fuzzy describing logic is introduced to confirm the relations between Web pages and user's sea...
متن کامل